Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming
نویسندگان
چکیده
منابع مشابه
Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming
We give fast and eecient methods for constructing-nets and-approximations for range spaces with bounded VC-exponent. These combinatorial structures have wide applicability to geometric partitioning problems, which are often used in divide-and-conquer constructions in computational geometry algorithms. In addition, we introduce a new deterministic set approximation for range spaces with bounded ...
متن کاملFixed-Dimensional Parallel Linear Programming via Relative c-Approximations
We show that linear programming in IRd can be solved deterministically in O((loglogn)d) time using linear work in the PRAM model of computation, for any fixed constant d. Our method is developed for the CRCW variant of the PRAM parallel computation model, and can be easily implemented to run in O(logn(loglogn)d-l) time using linear work on an EREW PRAM. A key component in these algorithms is a ...
متن کاملPairwise Independence and Derandomization Pairwise Independence and Derandomization
This article gives several applications of the following paradigm, which has proven extremely powerful in algorithm design and computational complexity. First, design a probabilistic algorithm for a given problem. Then, show that the correctness analysis of the algorithm remains valid even when the random strings used by the algorithm do not come from the uniform distribution, but rather from a...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولModel theory of bounded arithmetic with applications to independence results
In this paper we apply some new and some old methods in order to construct classical and intuitionistic models for theories of bounded arithmetic. We use these models to obtain proof theoretic consequences. In particular, we construct an ωchain of models of BASIC such that the union of its worlds satisfies S2 but none of its worlds satisfies the sentence ∀x∃y(x = 0 ∨ x = y + 1). Interpreting th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete & Computational Geometry
سال: 1997
ISSN: 0179-5376
DOI: 10.1007/pl00009325